1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
2. Functorial Model Theory :
پدیدآورنده : Cyrus F Nourani
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA169
.
C978
2014